Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ERAS, E. R.; SANTOS, L. B. R.; SANTIAGO JÚNIOR, V. A.; VIJAYKUMAR, N. L. Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking. Lecture Notes in Computer Science, v. 9158, p. 612-627, 2015. Disponível em: <http://link.springer.com/chapter/10.1007%2F978-3-319-21410-8_47>. Acesso em: 27 abr. 2024.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Eras et al. (2015).
... pode ser encontrada na literatura (ERAS et al., 2015).